-- Right chain, normal case, 2 operators with p(a) > p(b)
f :: Int
f =
  1 ^^
  2 ^^
  3 ^^
  4 ++
  5 ^^
  6 ^^
  7 ^^
  8
